🌳 Context free grammars - matmat · Scour

Structured Outputs for LLMs

ternarysearch.blogspot.com·1d·

Discuss: Hacker News, ternarysearch.blogspot.com

📋Document Grammar

Grammar-Constrained (CFL) Reachability: Subcubic Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics

arxiv.org·1d

🔗Parser Combinators

`derive_parser` – Automatically derive a parser from your syntax tree

github.com·1d·

Discuss: r/rust

🔗Parser Combinators

extended C*-algebra in nLab

ncatlab.org·14h

🧮Algebraic Archives

ivanbelenky/nbdantic: humble structure validator for notebooks

github.com·5h·

Discuss: Hacker News, r/Python

✅Format Verification

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras

arxiv.org·1d

🧮SMT Solvers

Building a Dependency-Free GPT on a Custom OS

hackaday.com·1h

🍎XNU Internals

An AI Odyssey, Part 1: Correctness Conundrum

johndcook.com·7h

🔧Hardware Verification

Differential Logic • 15

inquiryintoinquiry.com·16h

⚔️Lean Theorem

Build Semantic Search with LLM Embeddings

machinelearningmastery.com·20h

🗂️Vector Search

Right-sizes LLM models to your system's RAM, CPU, and GPU

news.ycombinator.com·1d·

Discuss: Hacker News

⚡Cache Theory

A rather disorganized rant about LLMs

boston.conman.org·4h

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·13h

🕸️Graph Algorithms

Qwen 3.5 9B, 4B models beating 30B, 80B models

huggingface.co·14h·

Discuss: Hacker News

🗜️LZW Variants

Rubenerd: The Gram editor

rubenerd.com·11h

🔗Concatenative Languages

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

⚔️Lean Tactics

dReLU Sparsification: Recovering LLM Performance with 150B Token Pretraining

hackernoon.com·3d

Parse, Don't Guess

architecture-weekly.com·16h

✅Format Verification

RalphMAD – Autonomous SDLC Workflows for Claude Code (BMAD and Ralph Loop)

news.ycombinator.com·1h·

Discuss: Hacker News

🗣️Domain-Specific Languages

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·17h

🔧Hardware Verification

Loading more...